DCPS is a connectionist production system interpreter that uses distributed representations. As a connectionist model it consists of many simple, richly interconnected neuron‐like computing units that cooperate to solve problems in parallel. One motivation for constructing DCPS was to demonstrate that connectionist models are capable of representing and using explicit rules. A second motivation was to show how “coarse coding” or “distributed representations” can be used to construct a working memory that requires far fewer units than the number of different (...) facts that can potentially be stored. The simulation we present is intended as a detailed demonstration of the feasibility of certain ideas and should not be viewed as a full implementation of production systems. Our current model only has a few of the many interesting emergent properties that we eventually hope to demonstrate: It is damage‐resistant, it performs matching and variable binding by massively parallel constraint satisfaction, and the capacity of its working memory is dependent on the similarity of the items being stored. (shrink)

A visual imagery task is presented which is beyond the limits of normal human ability, and some of the factors contributing to its difficulty are isolated by comparing the difficulty of related tasks. It is argued that complex objects are assigned hierarchical structural descriptions by being parsed into parts, each of which has its own local system of significant directions. Two quite different schemas for a wire‐frame cube are used to illustrate this theory, and some striking perceptual differences to which (...) they give rise are described. The difficulty of certain mental imagery tasks is shown to depend on which of the alternative structural descriptions of an object is used, and this is interpreted as evidence that structural descriptions are an important component of mental images. Finally, it is argued that analog transformations like mental folding involve changing the values of continuous variables in a structural description. (shrink)

It is possible to learn multiple layers of non-linear features by backpropagating error derivatives through a feedforward neural network. This is a very effective learning procedure when there is a huge amount of labeled training data, but for many learning tasks very few labeled examples are available. In an effort to overcome the need for labeled data, several different generative models were developed that learned interesting features by modeling the higher order statistical structure of a set of input vectors. One (...) of these generative models, the restricted Boltzmann machine (RBM), has no connections between its hidden units and this makes perceptual inference and learning much simpler. More significantly, after a layer of hidden features has been learned, the activities of these features can be used as training data for another RBM. By applying this idea recursively, it is possible to learn a deep hierarchy of progressively more complicated features without requiring any labeled data. This deep hierarchy can then be treated as a feedforward neural network which can be discriminatively fine-tuned using backpropagation. Using a stack of RBMs to initialize the weights of a feedforward neural network allows backpropagation to work effectively in much deeper networks and it leads to much better generalization. A stack of RBMs can also be used to initialize a deep Boltzmann machine that has many hidden layers. Combining this initialization method with a new method for fine-tuning the weights finally leads to the first efficient way of training Boltzmann machines with many hidden layers and millions of weights. (shrink)

We describe a deep generative model in which the lowest layer represents the word-count vector of a document and the top layer represents a learned binary code for that document. The top two layers of the generative model form an undirected associative memory and the remaining layers form a belief net with directed, top-down connections. We present efficient learning and inference procedures for this type of generative model and show that it allows more accurate and much faster retrieval than latent (...) semantic analysis. By using our method as a filter for a much slower method called TF-IDF we achieve higher accuracy than TF-IDF alone and save several orders of magnitude in retrieval time. By using short binary codes as addresses, we can perform retrieval on very large document sets in a time that is independent of the size of the document set using only one word of memory to describe each document. (shrink)

We describe a way of modeling high‐dimensional data vectors by using an unsupervised, nonlinear, multilayer neural network in which the activity of each neuron‐like unit makes an additive contribution to a global energy score that indicates how surprised the network is by the data vector. The connection weights that determine how the activity of each unit depends on the activities in earlier layers are learned by minimizing the energy assigned to data vectors that are actually observed and maximizing the energy (...) assigned to “confabulations” that are generated by perturbing an observed data vector in a direction that decreases its energy under the current model. (shrink)

There is a very simple way in which the safe/normal variable discipline of Bellantoni–Cook recursion [S. Bellantoni, S. Cook, A new recursion theoretic characterization of the polytime functions, Computational Complexity 2 97–110] can be imposed on arithmetical theories like PA: quantify over safes and induct on normals. This weakens the theory severely, so that the provably recursive functions become more realistically computable . Earlier results of D. Leivant [Intrinsic theories and computational complexity, in: D. Leivant , Logic and Computational Complexity, (...) Lecture Notes in Computer Science, vol. 960, Springer-Verlag, 1995, pp. 177–194] are re-worked and extended in this new context, giving proof-theoretic characterizations of complexity classes between Grzegorczyk’s E2 and E3. (shrink)

This collection brings together leading anthropologists, historians, philosophers, and artificial-intelligence researchers to discuss the sciences and mathematics used in various Eastern, Western, and Indigenous societies, both ancient and contemporary. The authors analyze prevailing assumptions about these societies and propose more faithful, sensitive analyses of their ontological views about reality--a step toward mutual understanding and translatability across cultures and research fields. Science in the Forest, Science in the Past is a pioneering interdisciplinary exploration that will challenge the way readers interested in (...) sciences, mathematics, humanities, social research, computer sciences, and education think about deeply held notions of what constitutes reality, how it is apprehended, and how to investigate it. (shrink)

How can pain complaints be elicited and analyzed so as to increase the empathic bond between patient and clinician? I will argue that though Wierzbicka’s approach to this question is useful—an exploration of certain abstract dimensions of pain’s meaning—it fails to examine key aspects that are the most useful and crucial for cultural analysis and for building empathic bonds between the clinician and patient. Not just a grammar of pain is needed; rather a biological philology of pain.

This paper addresses the prob-lem of how to identify and evaluate argu-ments made in a nonverbal form. Such arguments may employ images, sounds, or a combination of these in a truly mul-timodal presentation. Here, we concen-trate on those which are classified as au-ditory, i.e. contain at least one premise or the conclusion in sound form. We pro-pose and test a solution whereby some el-ements of the Comprehensive Assess-ment Procedure for Natural Argumenta-tion (CAPNA) are modified to allow for the evaluation of (...) auditory arguments. The results of this approach are illus-trated with the help of a number of au-thentic examples. Résumé: Cet article aborde le problème de la façon d'identifier et d'évaluer les ar-guments présentés sous une forme non verbale. De tels arguments peuvent uti-liser des images, des sons ou une com-binaison de ceux-ci dans une présenta-tion véritablement multimodale. Ici, nous nous concentrons sur les arguments classés comme auditifs, c'est-à-dire qui contiennent au moins une prémisse ou la conclusion sous forme sonore. Nous pro-posons et testons une solution dans laquelle certains éléments de la procédure d'évaluation globale de l'argu-mentation naturelle (CAPNA) sont mod-ifiés pour permettre l'évaluation des ar-guments auditifs. Les résultats de cette approche sont illustrés à l’aide de nom-breux exemples authentiques. (shrink)

Norms are a pervasive yet mysterious feature of social life. In Explaining Norms, four philosophers and social scientists team up to grapple with some of the many mysteries, offering a comprehensive account of norms: what they are; how and why they emerge, persist and change; and how they work.

This paper addresses the prob-lem of how to identify and evaluate argu-ments made in a nonverbal form. Such arguments may employ images, sounds, or a combination of these in a truly mul-timodal presentation. Here, we concen-trate on those which are classified as au-ditory, i.e. contain at least one premise or the conclusion in sound form. We pro-pose and test a solution whereby some el-ements of the Comprehensive Assess-ment Procedure for Natural Argumenta-tion (CAPNA) are modified to allow for the evaluation of (...) auditory arguments. The results of this approach are illus-trated with the help of a number of au-thentic examples. Résumé: Cet article aborde le problème de la façon d'identifier et d'évaluer les ar-guments présentés sous une forme non verbale. De tels arguments peuvent uti-liser des images, des sons ou une com-binaison de ceux-ci dans une présenta-tion véritablement multimodale. Ici, nous nous concentrons sur les arguments classés comme auditifs, c'est-à-dire qui contiennent au moins une prémisse ou la conclusion sous forme sonore. Nous pro-posons et testons une solution dans laquelle certains éléments de la procédure d'évaluation globale de l'argu-mentation naturelle (CAPNA) sont mod-ifiés pour permettre l'évaluation des ar-guments auditifs. Les résultats de cette approche sont illustrés à l’aide de nom-breux exemples authentiques. (shrink)

Take the mystery out of digital photography and join the fun! You don't need to be a professional photographer or a technology expert to take great digital photos! This down-to-basics guide makes it easy to choose the right camera, understand all its dials and controls, take good pictures, make them look even better with your computer, and print them or share them online for friends and family to enjoy. Do your homework — compare camera features to choose those you need (...) at the price you can afford Practice, practice, practice — learn to use camera settings, how to compose good shots, and how light affects a picture The darkroom is now digital — use free software to organize and edit your photos Learn to share — print your pictures at home or through a service, e-mail them to friends, set up an online photo album, or show them off in a digital picture frame Open the book and find: How to pick the camera that best fits your budget and needs Tips for taking great travel photos Accessories you might want for your camera How to get really good pictures of kids and pets Easy ways to get photos from your camera to your computer Tips and tricks for editing pictures on a computer Good reasons for putting your pictures online. (shrink)

Part I is about valuing fairness, II chiefly about not valuing it. Equally, I is about knowing fairness or taking yourself to know what it is, while II is chiefly about not knowing what it is: absolutely not knowing what it is, or not knowing what it is except when it is thought of in a narrow way. I want to know what all those states involve, e.g. whether knowing what fairness is involves valuing it, and most of all whether (...) those two aforesaid ways of not knowing what fairness is involve some knowably undesirable kind of ignorance; in that sense, incur a cognitive penal sanction. But I begin elsewhere. (shrink)

The multifaceted work of the late Susan Leigh Star is explored through a selection of her writings and essays by friends and colleagues. Susan Leigh Star (1954–2010) was one of the most influential science studies scholars of the last several decades. In her work, Star highlighted the messy practices of discovering science, asking hard questions about the marginalizing as well as the liberating powers of science and technology. In the landmark work Sorting Things Out, Star and Geoffrey Bowker revealed (...) the social and ethical histories that are deeply embedded in classification systems. Star's most celebrated concept was the notion of boundary objects: representational forms—things or theories—that can be shared between different communities, with each holding its own understanding of the representation. Unfortunately, Leigh was unable to complete a work on the poetics of infrastructure that further developed the full range of her work. This volume collects articles by Star that set out some of her thinking on boundary objects, marginality, and infrastructure, together with essays by friends and colleagues from a range of disciplines—from philosophy of science to organization science—that testify to the wide-ranging influence of Star's work. Contributors Ellen Balka, Eevi E. Beck, Dick Boland, Geoffrey C. Bowker, Janet Ceja Alcalá, Adele E. Clarke, Les Gasser, James R. Griesemer, Gail Hornstein, John Leslie King, Cheris Kramarae, Maria Puig de la Bellacasa, Karen Ruhleder, Kjeld Schmidt, Brian Cantwell Smith, Susan Leigh Star, Anselm L. Strauss, Jane Summerton, Stefan Timmermans, Helen Verran, Nina Wakeford, Jutta Weber. (shrink)

The fitness of a eukaryote hinges on the coordinated function of the products of its nuclear and mitochondrial genomes in achieving oxidative phosphorylation. I propose that sexual selection plays a key role in the maintenance of mitonuclear coadaptation across generations because it enables pre-zygotic sorting for coadapted mitonuclear genotypes. At each new generation, sexual reproduction creates new combinations of nuclear and mitochondrial genes, and the potential arises for mitonuclear incompatibilities and reduced fitness. In reviewing the literature, I hypothesize that individuals (...) engaged in mate choice select partners with correct species-typical mitochondrial and nuclear genotypes as well as individuals with highly functional cellular respiration. The implication is that mate choice for compatible nuclear and mitochondrial genes can play a significant role in generating the patterns of ornamentation and preferences observed in animals. A number of testable predictions emerge from this mitonuclear compatibility hypothesis of sexual selection. Products of mitochondrial and nuclear genes co-function to enable cellular respiration, so it is critical that compatible mitochondrial and nuclear genes be matched each generation. I propose that a core function of mate choice is selection for mitochondrial and nuclear genes that create compatible and functional combinations in offspring. (shrink)

Geoffrey Lloyd engages in a wide-ranging exploration of what we can learn from the study of ancient civilisations that is relevant to fundamental problems, both intellectual and moral, that we still face today. How far is it possible to arrive at an understanding of alien systems of belief? Is it possible to talk meaningfully of 'science' and of its various constituent disciplines, 'astronomy', 'geography', 'anatomy', and so on, in the ancient world? Are logic and its laws universal? Is there (...) one ontology - a single world - to which all attempts at understanding must be considered to be directed? When we encounter apparently very different views of reality, how far can that be put down to a difference in conceptions of what needs explaining, or of what counts as an explanation, or to different preferred modes of reasoning or styles of inquiry? Do the notions of truth and belief represent reliable cross-cultural universals? In another area, what can ancient history teach us about today's social and political problems? Are the discourses of human nature and of human rights universally applicable? What political institutions do we need to help secure equity and justice within nation states and between them? Lloyd sets out to answer all these questions, and to convince us that the science and culture of ancient Greece and China provide precious resources to advance modern debates. (shrink)

Darwin himself suggested the idea of generalizing the core Darwinian principles to cover the evolution of social entities. Also in the nineteenth century, influential social scientists proposed their extension to political society and economic institutions. Nevertheless, misunderstanding and misrepresentation have hindered the realization of the powerful potential in this longstanding idea. Some critics confuse generalization with analogy. Others mistakenly presume that generalizing Darwinism necessarily involves biological reductionism. This essay outlines the types of phenomena to which a generalized Darwinism applies, and (...) upholds that there is no reason to exclude social or economic entities. (shrink)

We model scientific theories as Bayesian networks. Nodes carry credences and function as abstract representations of propositions within the structure. Directed links carry conditional probabilities and represent connections between those propositions. Updating is Bayesian across the network as a whole. The impact of evidence at one point within a scientific theory can have a very different impact on the network than does evidence of the same strength at a different point. A Bayesian model allows us to envisage and analyze the (...) differential impact of evidence and credence change at different points within a single network and across different theoretical structures. (shrink)

This volume presents the most recent research on Title I federal compensatory education programs. Over the past three decades, Title I of the Elementary and Secondary Education Act has served as the cornerstone of the federal commitment to equality of opportunity. It is the federal government's single largest investment in America's schools. As Title I begins a new century, this book documents the program's history and points to the potential for its future, building on 35 years of research, development, and (...) practical experience. The research and analysis it provides fills a void for systematic information that can help inform Title I education policies and practices. _Title I: Compensatory Education at the Crossroads_ is essential reading for educational researchers and students working in the areas of social stratification and equity-minded policies, programs, and practices. It will serve well as a text for graduate courses on these topics in education, as well as in public policy, sociology, and psychology. Educational policymakers and administrators at the federal, state, and local levels who are concerned with Title I and programs for students placed at risk will find it an important resource in crafting policies and programs for this population of students. (shrink)

With a focus on the areas of theory, literature, culture, society and film, this collection of essays examines, questions and broadens the applicability of Postcolonialism and Islam from a multifaceted and cross-disciplinary perspective.Topics covered include the relationship between Postcolonialism and Orientalism, theoretical perspectives on Postcolonialism and Islam, the position of Islam within postcolonial literature, Muslim identity in British and European contexts, and the role of Islam in colonial and postcolonial cinema in Egypt and India. At a time at which Islam (...) continues to be at the centre of increasingly heated and frenzied political and academic deliberations, Postcolonialism and Islam offers a framework around which the debate on Muslims in the modern world can be centred.Transgressing geographical, disciplinary and theoretical boundaries, this book is an invaluable resource for students of Islamic Studies, Cultural Studies, Sociolgy and Literature. (shrink)

After the Chernobyl’s and Three Miles’s accidents, the relation between technology and risk started to be questioned. Social scientist posited considerable criticism against technology and how its interventions may engender new dangers. However, these views ignored the fact that risks are not just a result of technology, but also depend upon the trust and knowledge. Any risk, first, should be defined as a narrative which is enrooted in a previous cultural and stereotyped framework. By itself, technology is only an instrument (...) employed in different directions. This essay review explores the limitations and approaches of two senior sociologists who delved in the study of risk and climate change, Cass Sunstein and Anthony Giddens. (shrink)

Did science and philosophy develop differently in ancient Greece and ancient China? If so, can we say why? This book consists of a series of detailed studies of cosmology, natural philosophy, mathematics and medicine that suggest the answer to the first question is yes. To answer the second, the author relates the science produced in each ancient civilization first to the values of the society in question and then to the institutions within which the scientists and philosophers worked.

Three principal varieties of mathematical structuralism are compared: set-theoretic structuralism (‘STS’) using model theory, Shapiro's ante rem structuralism invoking sui generis universals (‘SGS’), and the author's modal-structuralism (‘MS’) invoking logical possibility. Several problems affecting STS are discussed concerning, e.g., multiplicity of universes. SGS overcomes these; but it faces further problems of its own, concerning, e.g., the very intelligibility of purely structural objects and relations. MS, in contrast, overcomes or avoids both sets of problems. Finally, it is argued that the modality (...) of MS or a close cousin appears at crucial junctures in both STS and SGS, so that the above outcome is not obviously tendentious. (shrink)

In the present paper we prove that the isolated differences of r. e. degrees are dense in the r. e. degrees.

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically ...

The genre of public service advertisements that appear with two- and four-year cyclical regularity is familiar. Cameras pan across scenes of marines hoisting the flag on Iwo Jima, a bald eagle soaring in splendid flight, rows of grave markers at Arlington. The somber-voiced announcer remonstrates: “ They did their part; now you do yours.” Once again it is the season to fulfill one's civic duty, to vote.

This paper makes a comparison between enactivism and Levinas’ philosophy. Enactivism is a recent development in philosophy of mind and cognitive science that generally defines cognition in terms of a subject’s natural interactions with the physical environment. In recent years, enactivists have been focusing on social and ethical relations by introducing the concept of participatory sensemaking, according to which ethical know-how spontaneously emerges out of natural relations of participation and communication, that is, through the exchange of knowledge. This paper will (...) argue first that, although participatory sensemaking is a valuable concept in that it offers a practical and realistic way of understanding ethics, it nevertheless downplays the significance of otherness for understanding ethics. I will argue that Levinas’ work demonstrates in turn that otherness is significant for ethics in that we cannot completely anticipate others through participation or know-how. We cannot live the other’s experiences or suffering, which makes ethical relation so difficult and serious (e.g. care for a terminally ill person always falls short to a certain extent). I will argue next that enactivism and Levinas’ philosophy nevertheless do not exclude each other insofar they share a similar concept of subjectivity as a quality of naturally interacting with the external world to gain knowledge (Levinas speaks of dwelling). Finally, I will argue that enactivism’s notion of participatory sensemaking also offers something which Levinas’ insufficiently defines, namely a concept of social justice, based on equality and participation, that emerges out of natural relations. (shrink)

In this essay, I first extend the insights of virtue ethics into environmental ethics and examine the possible dangers of this approach. Second, I analyze some qualities of character that an environmentally virtuous person must possess. Third, I evaluate “humility” as an environmental virtue, specifically, the position of Thomas E. Hill, Jr. I conclude that Hill’s conception of “proper” humility can be more adequatelyexplicated by associating it with another virtue, environmental “openness.”.